Works by Ghilardi, S. (exact spelling)

( view other items matching `Ghilardi, S.`, view all matches )
5 found
Order:
  1.  9
    Conservative extensions in modal logic.S. Ghilardi, C. Lutz, F. Wolter & M. Zaharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 187-207.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  9
    Modal logics with n‐ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Mathematical Logic Quarterly 36 (3):193-215.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  26
    Modal logics withn-ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):193-215.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  15
    The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination.S. Ghilardi & G. Mints - 2014 - Logic Journal of the IGPL 22 (4):585-596.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Bosch, R., see Bagaria, J. Cholak, P., see Ash, CJ.U. Engberg, G. Winskel, S. Ghilardi, G. Meloni, P. Matet, D. Skvortsov, S. van Bakel, L. Liquori, S. Ronchi Della Rocca & P. Urzyczyn - 1997 - Annals of Pure and Applied Logic 86:305.
     
    Export citation  
     
    Bookmark   1 citation